Nuprl Definition : tail-dcdr
11,40
postcript
pdf
tail-dcdr{i:l}(
es
;
Config
) == TERMOF{
decidable
is-tail
:ObjectId, 1:l, i:l}(
es
,
Config
)
latex
clarification:
tail-dcdr{i:l}(
es
;
Config
) == TERMOF{
decidable
is-tail
:ObjectId, 1:l, i:l}(
es
,
Config
)
latex
Definitions
f
(
a
)
,
decidable
is-tail
FDL editor aliases
tail-dcdr
origin